(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     26464,        974]
NotebookOptionsPosition[     18197,        704]
NotebookOutlinePosition[     22680,        836]
CellTagsIndexPosition[     22565,        830]
WindowTitle->DotSimplify
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"AntiCommutator\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/AntiCommutator"], "\<\"Commutator\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/Commutator"], "\<\"Calc\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/Calc"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/DotSimplify\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/DotSimplify"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
DotSimplify.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$75500], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/DotSimplify", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["DotSimplify", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"DotSimplify", "[", "exp", "]"}]], "InlineFormula"],
     " \[LineSeparator]expands and reorders noncommutative terms in ",
     Cell[BoxData["exp"], "InlineFormula"],
     ". "
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1698341768],

Cell["", "SectionHeaderSpacer"],

Cell[TextData[{
 "Simplifying relations may be specified by the option ",
 ButtonBox["DotSimplifyRelations",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DotSimplifyRelations",
  ButtonNote->"DotSimplifyRelations"],
 " or by ",
 ButtonBox["Commutator",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/Commutator",
  ButtonNote->"Commutator"],
 " and ",
 ButtonBox["AntiCommutator",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/AntiCommutator",
  ButtonNote->"AntiCommutator"],
 " definitions. "
}], "Notes"],

Cell[TextData[{
 "Whether ",
 Cell[BoxData["exp"], "InlineFormula"],
 " is expanded noncommutatively depends on the option ",
 ButtonBox["Expanding",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/Expanding",
  ButtonNote->"Expanding"],
 "."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Options", "[", "DotSimplify", "]"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[136]:=",
 CellID->1331874134],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{
    RowBox[{"FCJoinDOTs", "\[Rule]", "True"}], ",", 
    RowBox[{"Expanding", "\[Rule]", "True"}], ",", 
    RowBox[{"FCVerbose", "\[Rule]", "False"}], ",", 
    RowBox[{"DotSimplifyRelations", "\[Rule]", 
     RowBox[{"{", "}"}]}], ",", 
    RowBox[{"DotPower", "\[Rule]", "False"}], ",", 
    RowBox[{"FeynCalcInternal", "\[Rule]", "True"}], ",", 
    RowBox[{"FeynCalcExternal", "\[Rule]", "False"}], ",", 
    RowBox[{"MaxIterations", "\[Rule]", "100"}], ",", 
    RowBox[{"PreservePropagatorStructures", "\[Rule]", "False"}]}], "}"}], 
  TraditionalForm]], "Output",
 ImageSize->{516, 54},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DotSimplify",
 CellLabel->"Out[136]="]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(3)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->1467972019],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(3)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->887522346],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"GA", "[", "\[Mu]", "]"}], ".", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"2", " ", 
     RowBox[{"GS", "[", "p", "]"}]}], "-", 
    RowBox[{"GS", "[", "q", "]"}]}], ")"}], ".", 
  RowBox[{"GA", "[", "\[Nu]", "]"}]}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[1]:=",
 CellID->1782604794],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"2", " ", 
      FormBox[
       RowBox[{
        OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
        FormBox[
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"],
         TraditionalForm]}],
       TraditionalForm]}], "-", 
     FormBox[
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["q",
          TraditionalForm], "_"],
        TraditionalForm]}],
      TraditionalForm]}], ")"}], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{162, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DotSimplify",
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DotSimplify", "[", "%", "]"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[2]:=",
 CellID->1204340698],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"2", " ", 
    RowBox[{
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm]], ".", 
     RowBox[{"(", 
      RowBox[{
       OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
       FormBox[
        OverscriptBox[
         FormBox["p",
          TraditionalForm], "_"],
        TraditionalForm]}], ")"}], ".", 
     SuperscriptBox[
      OverscriptBox["\[Gamma]", "_"], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]]}]}], "-", 
   RowBox[{
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]], ".", 
    RowBox[{"(", 
     RowBox[{
      OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
      FormBox[
       OverscriptBox[
        FormBox["q",
         TraditionalForm], "_"],
       TraditionalForm]}], ")"}], ".", 
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]]}]}], TraditionalForm]], "Output",
 ImageSize->{224, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DotSimplify",
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[BoxData[
 RowBox[{"DeclareNonCommutative", "[", 
  RowBox[{"a", ",", "b", ",", "c"}], "]"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[1]:=",
 CellID->194491386],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"a", ".", 
  RowBox[{"(", 
   RowBox[{"b", "-", 
    RowBox[{"z", " ", "c"}]}], ")"}], ".", "a"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[2]:=",
 CellID->2117662767],

Cell[BoxData[
 FormBox[
  RowBox[{"a", ".", 
   RowBox[{"(", 
    RowBox[{"b", "-", 
     RowBox[{"c", " ", "z"}]}], ")"}], ".", "a"}], TraditionalForm]], "Output",\

 ImageSize->{97, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DotSimplify",
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DotSimplify", "[", "%", "]"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[3]:=",
 CellID->1117578635],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"a", ".", "b", ".", "a"}], "-", 
   RowBox[{"z", " ", 
    RowBox[{"a", ".", "c", ".", "a"}]}]}], TraditionalForm]], "Output",
 ImageSize->{115, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DotSimplify",
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Commutator", "[", 
   RowBox[{"a", ",", "c"}], "]"}], "=", "1"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[4]:=",
 CellID->1442809361],

Cell[BoxData[
 FormBox["1", TraditionalForm]], "Output",
 ImageSize->{11, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DotSimplify",
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DotSimplify", "[", 
  RowBox[{"a", ".", 
   RowBox[{"(", 
    RowBox[{"b", "-", 
     RowBox[{"z", " ", "c"}]}], ")"}], ".", "a"}], "]"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[5]:=",
 CellID->1013643835],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"a", ".", "b", ".", "a"}], "-", 
   RowBox[{"z", " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"c", ".", "a", ".", "a"}], "+", "a"}], ")"}]}]}], 
  TraditionalForm]], "Output",
 ImageSize->{153, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DotSimplify",
 CellLabel->"Out[5]="]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"Commutator", "[", 
   RowBox[{"a", ",", "c"}], "]"}], "=."}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[6]:=",
 CellID->1466952413],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DotSimplify", "[", 
  RowBox[{"a", ".", 
   RowBox[{"(", 
    RowBox[{"b", "-", 
     RowBox[{"z", " ", "c"}]}], ")"}], ".", "a"}], "]"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[7]:=",
 CellID->1037294655],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"a", ".", "b", ".", "a"}], "-", 
   RowBox[{"z", " ", 
    RowBox[{"a", ".", "c", ".", "a"}]}]}], TraditionalForm]], "Output",
 ImageSize->{115, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DotSimplify",
 CellLabel->"Out[7]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"AntiCommutator", "[", 
   RowBox[{"b", ",", "a"}], "]"}], "=", "c"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[8]:=",
 CellID->579521038],

Cell[BoxData[
 FormBox["c", TraditionalForm]], "Output",
 ImageSize->{14, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DotSimplify",
 CellLabel->"Out[8]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DotSimplify", "[", 
  RowBox[{"a", ".", 
   RowBox[{"(", 
    RowBox[{"b", "-", 
     RowBox[{"z", " ", "c"}]}], ")"}], ".", "a"}], "]"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[9]:=",
 CellID->164431463],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    RowBox[{"a", ".", "a", ".", "b"}]}], "-", 
   RowBox[{"z", " ", 
    RowBox[{"a", ".", "c", ".", "a"}]}], "+", 
   RowBox[{"a", ".", "c"}]}], TraditionalForm]], "Output",
 ImageSize->{167, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DotSimplify",
 CellLabel->"Out[9]="]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"AntiCommutator", "[", 
   RowBox[{"b", ",", "a"}], "]"}], "=."}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[10]:=",
 CellID->216404314],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DotSimplify", "[", 
  RowBox[{
   RowBox[{"a", ".", 
    RowBox[{"(", 
     RowBox[{"b", "-", 
      RowBox[{"z", " ", "c"}]}], ")"}], ".", "a"}], ",", 
   RowBox[{"DotSimplifyRelations", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{
      RowBox[{"a", ".", "c"}], "\[Rule]", 
      RowBox[{"1", "/", "z"}]}], "}"}]}]}], "]"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[11]:=",
 CellID->2011362420],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"a", ".", "b", ".", "a"}], "-", "a"}], TraditionalForm]], "Output",\

 ImageSize->{72, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DotSimplify",
 CellLabel->"Out[11]="]
}, Open  ]],

Cell[BoxData[
 RowBox[{"UnDeclareNonCommutative", "[", 
  RowBox[{"a", ",", "b", ",", "c"}], "]"}]], "Input",
 CellLabel->"In[12]:="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[BoxData[
 RowBox[{"DeclareNonCommutative", "[", "x", "]"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[1]:=",
 CellID->1063178346],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DotSimplify", "[", 
  RowBox[{"x", ".", "x", ".", "x"}], "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"x", ".", "x", ".", "x"}], TraditionalForm]], "Output",
 ImageSize->{47, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DotSimplify", "[", 
  RowBox[{
   RowBox[{"x", ".", "x", ".", "x"}], ",", 
   RowBox[{"DotPower", "\[Rule]", "True"}]}], "]"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[3]:=",
 CellID->1173966576],

Cell[BoxData[
 FormBox[
  SuperscriptBox["x", "3"], TraditionalForm]], "Output",
 ImageSize->{23, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DotSimplify",
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[BoxData[
 RowBox[{"UnDeclareNonCommutative", "[", "x", "]"}]], "Input",
 CellTags->"DotSimplify",
 CellLabel->"In[4]:=",
 CellID->1813929769]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["AntiCommutator",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/AntiCommutator",
  ButtonNote->"AntiCommutator"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["Commutator",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/Commutator",
  ButtonNote->"Commutator"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["Calc",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/Calc",
  ButtonNote->"Calc"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso"]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"DotSimplify",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 4, 22.770605}", 
    "history" -> {"9.0", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "DotSimplify[exp] expands and reorders noncommutative terms in exp. ", 
    "synonyms" -> {}, "tabletags" -> {}, "title" -> "DotSimplify", 
    "titlemodifier" -> "", "windowtitle" -> "DotSimplify", "type" -> "Symbol",
     "uri" -> "FeynCalc/ref/DotSimplify"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "DotSimplify"->{
  Cell[6177, 193, 142, 4, 70, "Input",
   CellTags->"DotSimplify",
   CellID->1331874134],
  Cell[6322, 199, 762, 19, 75, "Output",
   CellTags->"DotSimplify"],
  Cell[7778, 254, 330, 11, 27, "Input",
   CellTags->"DotSimplify",
   CellID->1782604794],
  Cell[8111, 267, 1116, 44, 37, "Output",
   CellTags->"DotSimplify"],
  Cell[9264, 316, 134, 4, 27, "Input",
   CellTags->"DotSimplify",
   CellID->1204340698],
  Cell[9401, 322, 1309, 50, 37, "Output",
   CellTags->"DotSimplify"],
  Cell[10855, 381, 176, 5, 27, "Input",
   CellTags->"DotSimplify",
   CellID->194491386],
  Cell[11056, 390, 201, 7, 27, "Input",
   CellTags->"DotSimplify",
   CellID->2117662767],
  Cell[11260, 399, 302, 11, 37, "Output",
   CellTags->"DotSimplify"],
  Cell[11599, 415, 134, 4, 27, "Input",
   CellTags->"DotSimplify",
   CellID->1117578635],
  Cell[11736, 421, 309, 10, 35, "Output",
   CellTags->"DotSimplify"],
  Cell[12082, 436, 180, 6, 27, "Input",
   CellTags->"DotSimplify",
   CellID->1442809361],
  Cell[12265, 444, 192, 6, 35, "Output",
   CellTags->"DotSimplify"],
  Cell[12494, 455, 242, 8, 27, "Input",
   CellTags->"DotSimplify",
   CellID->1013643835],
  Cell[12739, 465, 365, 13, 37, "Output",
   CellTags->"DotSimplify"],
  Cell[13119, 481, 176, 6, 27, "Input",
   CellTags->"DotSimplify",
   CellID->1466952413],
  Cell[13320, 491, 242, 8, 27, "Input",
   CellTags->"DotSimplify",
   CellID->1037294655],
  Cell[13565, 501, 309, 10, 35, "Output",
   CellTags->"DotSimplify"],
  Cell[13911, 516, 183, 6, 27, "Input",
   CellTags->"DotSimplify",
   CellID->579521038],
  Cell[14097, 524, 192, 6, 35, "Output",
   CellTags->"DotSimplify"],
  Cell[14326, 535, 241, 8, 27, "Input",
   CellTags->"DotSimplify",
   CellID->164431463],
  Cell[14570, 545, 363, 12, 35, "Output",
   CellTags->"DotSimplify"],
  Cell[14948, 560, 180, 6, 27, "Input",
   CellTags->"DotSimplify",
   CellID->216404314],
  Cell[15153, 570, 430, 14, 27, "Input",
   CellTags->"DotSimplify",
   CellID->2011362420],
  Cell[15586, 586, 252, 9, 35, "Output",
   CellTags->"DotSimplify"],
  Cell[16131, 610, 144, 4, 27, "Input",
   CellTags->"DotSimplify",
   CellID->1063178346],
  Cell[16659, 634, 231, 7, 27, "Input",
   CellTags->"DotSimplify",
   CellID->1173966576],
  Cell[16893, 643, 216, 7, 37, "Output",
   CellTags->"DotSimplify"],
  Cell[17124, 653, 146, 4, 27, "Input",
   CellTags->"DotSimplify",
   CellID->1813929769]},
 "PrimaryExamplesSection"->{
  Cell[7145, 225, 388, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->1467972019]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"DotSimplify", 19985, 747},
 {"PrimaryExamplesSection", 22421, 823}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[583, 21, 3210, 78, 53, "AnchorBarGrid",
 CellID->1],
Cell[3796, 101, 288, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[4109, 116, 439, 13, 85, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4573, 133, 739, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1698341768],
Cell[5315, 159, 31, 0, 70, "SectionHeaderSpacer"],
Cell[5349, 161, 537, 17, 70, "Notes"],
Cell[5889, 180, 263, 9, 70, "Notes"],
Cell[CellGroupData[{
Cell[6177, 193, 142, 4, 70, "Input",
 CellTags->"DotSimplify",
 CellID->1331874134],
Cell[6322, 199, 762, 19, 75, "Output",
 CellTags->"DotSimplify"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[7145, 225, 388, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->1467972019],
Cell[CellGroupData[{
Cell[7558, 244, 195, 6, 26, "ExampleSection",
 CellID->887522346],
Cell[CellGroupData[{
Cell[7778, 254, 330, 11, 27, "Input",
 CellTags->"DotSimplify",
 CellID->1782604794],
Cell[8111, 267, 1116, 44, 37, "Output",
 CellTags->"DotSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[9264, 316, 134, 4, 27, "Input",
 CellTags->"DotSimplify",
 CellID->1204340698],
Cell[9401, 322, 1309, 50, 37, "Output",
 CellTags->"DotSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10747, 377, 105, 2, 9, "ExampleDelimiter"],
Cell[10855, 381, 176, 5, 27, "Input",
 CellTags->"DotSimplify",
 CellID->194491386],
Cell[CellGroupData[{
Cell[11056, 390, 201, 7, 27, "Input",
 CellTags->"DotSimplify",
 CellID->2117662767],
Cell[11260, 399, 302, 11, 37, "Output",
 CellTags->"DotSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[11599, 415, 134, 4, 27, "Input",
 CellTags->"DotSimplify",
 CellID->1117578635],
Cell[11736, 421, 309, 10, 35, "Output",
 CellTags->"DotSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[12082, 436, 180, 6, 27, "Input",
 CellTags->"DotSimplify",
 CellID->1442809361],
Cell[12265, 444, 192, 6, 35, "Output",
 CellTags->"DotSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[12494, 455, 242, 8, 27, "Input",
 CellTags->"DotSimplify",
 CellID->1013643835],
Cell[12739, 465, 365, 13, 37, "Output",
 CellTags->"DotSimplify"]
}, Open  ]],
Cell[13119, 481, 176, 6, 27, "Input",
 CellTags->"DotSimplify",
 CellID->1466952413],
Cell[CellGroupData[{
Cell[13320, 491, 242, 8, 27, "Input",
 CellTags->"DotSimplify",
 CellID->1037294655],
Cell[13565, 501, 309, 10, 35, "Output",
 CellTags->"DotSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[13911, 516, 183, 6, 27, "Input",
 CellTags->"DotSimplify",
 CellID->579521038],
Cell[14097, 524, 192, 6, 35, "Output",
 CellTags->"DotSimplify"]
}, Open  ]],
Cell[CellGroupData[{
Cell[14326, 535, 241, 8, 27, "Input",
 CellTags->"DotSimplify",
 CellID->164431463],
Cell[14570, 545, 363, 12, 35, "Output",
 CellTags->"DotSimplify"]
}, Open  ]],
Cell[14948, 560, 180, 6, 27, "Input",
 CellTags->"DotSimplify",
 CellID->216404314],
Cell[CellGroupData[{
Cell[15153, 570, 430, 14, 27, "Input",
 CellTags->"DotSimplify",
 CellID->2011362420],
Cell[15586, 586, 252, 9, 35, "Output",
 CellTags->"DotSimplify"]
}, Open  ]],
Cell[15853, 598, 133, 3, 27, "Input"]
}, Open  ]],
Cell[CellGroupData[{
Cell[16023, 606, 105, 2, 9, "ExampleDelimiter"],
Cell[16131, 610, 144, 4, 27, "Input",
 CellTags->"DotSimplify",
 CellID->1063178346],
Cell[CellGroupData[{
Cell[16300, 618, 120, 3, 27, "Input"],
Cell[16423, 623, 199, 6, 35, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[16659, 634, 231, 7, 27, "Input",
 CellTags->"DotSimplify",
 CellID->1173966576],
Cell[16893, 643, 216, 7, 37, "Output",
 CellTags->"DotSimplify"]
}, Open  ]],
Cell[17124, 653, 146, 4, 27, "Input",
 CellTags->"DotSimplify",
 CellID->1813929769]
}, Open  ]]
}, Open  ]],
Cell[17297, 661, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[17365, 666, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[17638, 680, 517, 19, 56, "SeeAlso"]
}, Open  ]],
Cell[18170, 702, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

